Anaphora and Quantification in Categorial Grammar

The paper proposes a type logical reformulation of Jacobson’s ([9]) treatment of anaphoric dependencies in Categorial Grammar. To this end, the associative Lambek Calculus is extended with a new connective. In the first part, its proof theory is introduced and the logical properties of the resulting calculus are discussed. In the second part, this system is applied to several linguistic phenomena concerning the interaction of pronominal anaphora, VP ellipsis and quantifier scope. Finally, a possible extension to cross-sentential anaphora is considered.